Conceptualism, ramified logic, and nominalized predicates
نویسندگان
چکیده
منابع مشابه
Semantic role labeling of nominalized predicates in Chinese
Recent work on semantic role labeling (SRL) has focused almost exclusively on the analysis of the predicate-argument structure of verbs, largely due to the lack of human-annotated resources for other types of predicates that can serve as training and test data for the semantic role labeling systems. However, it is wellknown that verbs are not the only type of predicates that can take arguments....
متن کاملLogic of predicates versus linear logic
The purpose of this note is to suggest an alternative explanation of the relationship between predicate logics with equality and linear logic. The explanation given by Girard resorts to so called exponentials, which are believed to extract from a linear formula A its classical content !A and ?A. Thus, Girard gives a top-down explanation of the relationship between linear and classical logics: t...
متن کاملMathematical Conceptualism
We must remember that in Hilbert's time all mathematicians were excited about the foundations of mathematics. Intense controversy centered around the problem of the legitimacy of abstract objects. .. The contrast with today's foggy atmosphere of intellectual exhaustion and compartmentalization could not be more striking. From the standpoint of mainstream mathematics, the great foundational deba...
متن کاملObservation Predicates in Flow Logic
Motivated by the connection between strong and soft type systems we explore flow analyses with hard constraints on the admissible solutions. We show how to use observation predicates and formula rearrangements to map flow analyses with hard constraints into more traditional flow analyses in such a way that the hard constraints are satisfied exactly when the observation predicates report no viol...
متن کاملOpaque Predicates, Veiled Sets and Their Logic
Motivated by considerations in the foundations of quantum mechanics and inspired by the literature on vague predicates, we introduce the concept of an opaque predicate. While in the case of vague predicates there is a kind of indeterminacy with respect to the predicate, in the sense that the vagueness concerns whether a well-determined object satisfies it or not, in the case of opaque predicate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topoi
سال: 1986
ISSN: 0167-7411,1572-8749
DOI: 10.1007/bf00137832